翻訳と辞書 Words near each other ・ Vonges ・ Vongkithem ・ Vongnes ・ Vongo ・ Vongoda River ・ Vongole Fisarmonica ・ Vongsa ・ Von Neumann entropy ・ Von Neumann machine ・ Von Neumann neighborhood ・ Von Neumann paradox ・ Von Neumann programming languages ・ Von Neumann regular ring ・ Von Neumann stability analysis ・ Von Neumann universal constructor ・ Von Neumann universe ・ Von Neumann's inequality ・ Von Neumann's theorem ・ Von Neumann–Bernays–Gödel set theory ・ Von Neumann–Morgenstern utility theorem ・ Von Neumann–Wigner interpretation ・ Von Null auf 42 ・ Von nun ab, Herr Kunze ・ Von Ogden Vogt ・ Von Ormy, Texas ・ Von Otter ・ Von Otterøya ・ Von Pfeil ・ Von Pfersfeld (Nobility) ・ Von Platen Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Von Neumann universe ： ウィキペディア英語版 Von Neumann universe In set theory and related branches of mathematics, the von Neumann universe, or von Neumann hierarchy of sets, denoted V, is the class of hereditary well-founded sets. This collection, which is formalized by Zermelo–Fraenkel set theory (ZFC), is often used to provide an interpretation or motivation of the axioms of ZFC. The rank of a well-founded set is defined inductively as the smallest ordinal number greater than the ranks of all members of the set.〔; ; .〕 In particular, the rank of the empty set is zero, and every ordinal has a rank equal to itself. The sets in ''V'' are divided into a transfinite hierarchy, called the cumulative hierarchy, based on their rank. == Definition == The cumulative hierarchy is a collection of sets ''V''α indexed by the class of ordinal numbers; in particular, ''V''α is the set of all sets having ranks less than α. Thus there is one set ''V''α for each ordinal number α. ''V''α may be defined by transfinite recursion as follows: * Let ''V''0 be the empty set: *: $V\_0\; :=\; \backslash emptyset\; .$ * For any ordinal number β, let ''V''β+1 be the power set of ''V''β: *: $V\_\; :=\; \backslash mathcal\; (V\_\backslash beta)\; .$ * For any limit ordinal λ, let ''V''λ be the union of all the ''V''-stages so far: *: $V\_\backslash lambda\; :=\; \backslash bigcup\_\; V\_\backslash beta\; .$ A crucial fact about this definition is that there is a single formula φ(α,''x'') in the language of ZFC that defines "the set ''x'' is in ''V''α". The sets ''V''α are called stages or ranks. The class ''V'' is defined to be the union of all the ''V''-stages: :: $V\; :=\; \backslash bigcup\_\; V\_\backslash alpha.$ An equivalent definition sets :$V\_\backslash alpha\; :=\; \backslash bigcup\_\; \backslash mathcal\; (V\_\backslash beta)$ for each ordinal α, where $\backslash mathcal\; (X)\; \backslash !$ is the powerset of $X$. The rank of a set ''S'' is the smallest α such that $S\; \backslash subseteq\; V\_\backslash alpha\; \backslash ,.$ 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Von Neumann universe」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.